$\forall$$T$:(Id$\rightarrow$Type), ${\it tab}$:secret{-}table($T$), $x$:Atom1.
\\[0ex]st{-}lookup(${\it tab}$;$x$) $\in$ (?(:($\mathbb{N}$ + Atom1) $\times$ data($T$)))